]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: workspace pager in overview
authorJakub Steiner <jimmac@gmail.com>
Wed, 15 Oct 2014 15:26:03 +0000 (17:26 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Feb 2015 14:14:42 +0000 (15:14 +0100)
commit98ccc45f80f5a2b25712d706fe985f10197a6a70
treee53b586362258a2d3e69e64437a67ff40c8f68ed
parent868a1991446f2914040dc02ebf0f2af68bd361d9
theme: workspace pager in overview
data/theme/_common.scss
data/theme/gnome-shell.css